| Complete name | Profile Link |
Thesis | Current Position |
| 17 cycle |
 | Francesco Savelli | Personal site | Topological mapping of ambiguous spaces: combinino qualitative biases and metrical information |
|
| Nicola Policella | Personal site | Reasoning with uncertainty. A proactive approach using partial order schedules |
Reserch Scientist, European Space Agency |
| Marcelo Alejandro Oglietti | Personal site | The planning problem in AI: Structuring domains and evaluating plans |
Institutional Relations Department Head, Comisión Nacional de Actividades Espaciales (CONAE), Argentina |
| Toni Mancini | | Declarative constraint modelling and specification-level reasoning |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Alessandro Farinelli | | Distributed task assignment for real world environment |
Assistant Professor [ricercatore], University of Verona |
| Daniela Berardi | | Automatic Service Composition. Models, Techniques and Tools |
Professional Consultant, Altran Italia, Italia |
| 16 cycle |
| Antonino Virgillito | | Publish/subscribe communication systems: from models to applications |
Researcher at ISTAT |
| Domenico Lembo | Personal site | Dealing with Inconsistency and Incompleteness in Data Integration |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Daniele Pianura | | |
|
| Tiziano Inzerilli | | Efficient traffic control for wireless TCP links |
Postdoctoral fellow [assegno di ricerca], University of Rome La Sapienza |
| Stephen Kimani | | Visual Information Discovery |
Professor, Jomo Kenyatta University of Agriculture and Technology, Nairobi, Kenya and Visiting Researcher, CSIRO, Australia |
| 18 cycle |
| Enrico Bertini | Personal site | A Sampling Approach to Deal with Cluttered Information Visualizations |
Postoctoral Fellow at University of Fribourg, Switzerland |
| Andrea Ferrara | Personal site | Formal Verification: further Complexity Issues and Applications |
|
| Simone Fratini | Personal site | Integrating Planning and Scheduling in a Component-Base Perspective: From Theory to Practice |
Reserch Scientist, ISTC-CNR |
| Giorgio Grisetti | Personal site | Scaling Rao-Blackwellized Simultaneous Localization and Mapping to Large Environments |
Assistant Professor, La Sapienza |
| Fabiano Sarracco | Personal site | Mobile Agents Security: Algorithmic Approaches for Hostile Hosts Detection |
Software Engineer at Centro di Ricerca per i Trasporti e la Logistica (CTL), University of Rome La Sapienza |
| Sara Tucci Piergiovanni | | Concurrent Connectivity Maintenance with Infinitely Many Processes |
CEA (Commissariat ŕ l'Energie Atomique), lab. of applied research in software-intensive technologies |
| 15 cycle |
| Andrea Calì | Personal site | Query answering and optimisation in data integration systems |
|
| Luigi Laura | | Modeling and mining complex information systems |
Postdoctoral fellow at University of Rome La Sapienza |
| Carlo Marchetti | | A three-tier architecture for active software replication |
Officer at Italian Senate |
| Marco Pirrone | | Active Vision and Visual Attention for Indoor Environment Classifcation |
|
| Massimo Romano | | A Cognitive Vision System Based on Bayes Combination of Geometric Features |
|
| Andrea Santoro | | Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation |
Research Assistant at ENEA |
| 14 cycle |
| Marco Benedetti | | Bridging Refutation and Search in Propositional Satisfiability |
Banca d'Italia |
| Valter Crescenzi | | |
|
| Alberto Finzi | | |
http://www.linkedin.com/profile/view?id=228298&authType=NAME_SEARCH&authToken=oIA0&locale=en_US&srchid=0eb99f4a-50ca-4f5d-9e42-bde4a89dac3e-0&srchindex=1&srchtotal=2&goback=%2Efps_PBCK_*1_Alberto_Finzi_*1_*1_*1_*1_*2_*1_Y_*1_*1_*1_false_1_R_*1_*51_*1_*51_ |
| Massimo Mecella | | Cooperative Processes and eServices |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Andrea Vitaletti | Personal site | Scheduling Algorithms and Localization Tools for Wireless Networks |
Assistant Professor, University of Rome La Sapienza |
| 13 cycle |
| Camil Demetrescu | Personal site | Fully Dynamic Algorithms for Path Problems on Directed Graphs |
Associate Professor, University of Rome La Sapienza |
| Giovanna Melideo | | Tracking Causality in Distributed Computations |
Assistant Professor [ricercatore], University of L'Aquila |
| Maurizio Patrignani | Personal site | Visualization of Large Graphs |
Associate Professor, Roma Tre University |
| Maurizio Pizzonia | | Engineering of Graph Drawing Algorithms for Applications |
Assistant Professor, Roma Tre University |
| 12 cycle |
| Marco Daniele | | Advances in Planning as Model Checking |
|
| Walter Didimo | | Flow Techniques and Optimal Drawings of Graphs |
Associate Professor, University of Perugia |
| Enver Sangineto | | Classificazione Automatica d'immagini Tramite Astrazione Geometrica |
Postdoctoral fellow [assegno di ricerca] at University of Rome La Sapienza |
| Leonardo Tininini | | Querying Aggregate Data |
|
| 11 cycle |
| Francesco Baruchelli | | |
|
| Luca Becchetti | | Effcient Resource Management in High Bandwidth Networks |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Nicola Cancedda | | Text Generation from Message Understanding Conference Templates |
Researcher, Xerox Research Centre Europe, Grenoble |
| Luca Iocchi | | Design and Development of Cognitive Robots |
Assistant Professor, University of Rome La Sapienza |
| Massimiliano Parlione | | Remote Class Inheritance |
Software Laboratory IBM Dublin, Ireland |
| Francesco Quaglia | | Consistent checkpointing in distributed computations: theoretical results and protocols |
Associate Professor, University of Rome La Sapienza |
| Milton Romero | | Disparity/Motion Estimation for Stereoscopic Video Processing |
|
| 10 cycle |
| Balestreri Giulio | | An Algebraic Semantics for the Shared Spaces Coordination Languages |
Postdoctoral fellow, Roma Tre University. Passed away. |
| Battaglini Gianluca | | Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies |
|
| Piergiorgio Bertoli | | Using OMRS in practice: a case study with Acl-2 |
Researcher at ITC-irst |
| Chiara Ghidini | | A semantics of contextual reasoning: theory and two relevant applications |
Senior Research Scientist at FBK-irst |
| Roberto Giaccio | | Visiting complex structures |
Senior Software Engineer and Professional Consultant |
| Paolo Liberatore | | Compilation of intractable problems and its application to artificial intelligence |
Associate Professor, University of Rome La Sapienza |
| Fabio Massacci | | Efficient approximate deduction and an application to computer security |
Full Professor, University of Trento |
| 19 cycle |
| Antonella Poggi | Personal site | Structured and Semi-Structured Data Integration |
Research Assistant at DIS |
| Paolo Romano | Personal site | Protocols for End-to-End Reliability in Multi-Tier Systems |
Researcher at the Universidade Técnica de Lisboa |
| Vincenzo Bonifaci | Personal site | Models and Algorithms for Online Server Routing |
Postdoctoral fellow at Max-Planck-Institute for Computer Science, Saarbrücken, Germany |
| Luca Allulli | Personal site | Cache Oblivious Computation of Shortest Paths: Theoretical and Practical Issues |
Software Engineer at Atac SpA |
| Diego Milano | | XML Structure Aware Object Identification |
Postdoctoral fellow, University of Basel |
| Leonardo Querzoni | Personal site | Techniques for Efficient Event Routing |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Luigi Dragone | Personal site | Modeling and Reasoning about e-services in Cooperative Information Systems |
Software Engineer at CM Sistemi SpA |
| Marco Ruzzi | Personal site | Efficient Data Integration Under Integrity Constraints: a Practical Approach |
Postdoctoral fellow [assegno di ricerca] at University of Rome La Sapienza |
| Alessia Milani | Personal site | Causal Consistency in Static and Dynamic Distributed Systems |
Postdoctoral fellow at Technion, Israel Institute of Technology |
| Federico Pecora | Personal site | Multi-Agent Planning and Coordination Under Resource Constraints |
Postdoctoral fellow at Örebro University, Sweden |
| 20 cycle |
| Antonella Chirichiello | | Two Formal Approaches for Web Services: Process Algebras & Action Languages |
Fulbright-BEST Fellow 2009-2010, Santa Clara University, CA |
| Marco Fratarcangeli | Personal site | A Computational Musco-Skeletal Model for Animating Virtual Faces |
Senior Software Engineer at Taitus Software Italia (Defense & Space) |
| Giorgio Ugazio | | |
|
| Vittorio Amos Ziparo | Personal site | Multi-Robot Teams for Multi-Objective Tasks |
Contract Professor, University of Rome La Sapienza |
| Adnan Noor Mian | Personal site | Distributed Search and Service Discovery in Wireless Ad Hoc Networks using Random Walk |
Assistant Professor, Dept. of Computer Science, National University of Computer and Emerging Sciences (FAST), B Block, Lahore, Pakistan |
| 9 cycle |
| Luca Trevisan | | Reductions and (Non-)Approximability |
Associate Professor, University of California at Berkeley |
| Riccardo Rosati | | Autoepistemic Description Logics |
Associate Professor, University of Rome La Sapienza |
| Paolo Di Blasio | | A Calculus for Concurrent Objects: Design and Control Flow Analysis |
|
| Paola Alimonti | | Local search and approximability of MAX SNP problems |
Fondazione Ugo Bordoni |
| 8 cycle |
| Stefano Leonardi | | On-line resource management with application to routing and scheduling |
Full Professor, University of Rome La Sapienza |
| Rosario Pugliese | | Semantic Theories for Asynchronous Languages |
Associate Professor, University of Florence |
| Flavio Corradini | | Space, time and nondeterminism in process algebras |
Assistant Professor [ricercatore], University of Camerino |
| Marco Cesati | | Structural aspects of parameterized complexity |
Assistant Professor [ricercatore], University of Rome Tor Vergata |
| Diego Calvanese | | Unrestricted and finite modeling reasoning in class-based representation formalisms |
Associate Professor, Free University of Bozen-Bolzano |
| Luca Cabibbo | | Querying and updating complex-object databases |
Associate Professor, Roma Tre University |
| 7 cycle |
| Giuseppe Liotta | | Computing proximity drawings in graphs |
Full Professor, University of Perugia |
| Michele Flammini | | Compact routing models: some complexity results and extensions |
Full Professor, University of L'Aquila |
| Esteban Feuerstein | | On-line paging of structured data and multi-threaded paging |
Associate Professor, Universidad de Buenos Aires |
| Vincenzo Ferrucci | | Dimension-independent solid modeling |
|
| Antonella Cresti | | Unconditionally secure key distribution protocols |
|
| Michele Boreale | | Process algebraic theories for mobile systems |
Associate Professor, University of Florence |
| Piera Barcaccia | | On the complexity of some time slot assignment problems in switching systems |
|
| 6 cycle |
| Andrea Sterbini | | 2-thresholdness and its implications: from the synchronization with PVchunk to the Ibaraki-Peled conjecture |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Andrea Schaerf | | Query answering in concept-based knowledge representation systems: algorithms, complexity, and semantic issues |
Full Professor, University of Udine |
| Paolo Giulio Franciosa | | Adaptive spatial data handling |
Associate Professor, University of Rome La Sapienza |
| Andrea Clementi | | On the complexity of cellular automata |
Full Professor, University of Rome Tor Vergata |
| Roberto Baldoni | | Mutual exclusion in distributed systems |
Full Professor, University of Rome La Sapienza |
| 5 cycle |
| Paola Vocca | | Space-time trade-offs in directed graphs reachability problems |
Associate Professor, University of Salento |
| Annalisa Massini | | High efficiency self-routing interconnection networks |
Associate Professor, University of Rome La Sapienza |
| Carla Limongelli | | The integration of symbolic and numeric computation by p-adic construction methods |
Associate Professor, Roma Tre University |
| Miriam Di Ianni | | On the complexity of flow control problems in store-and-forward networks |
Associate Professor, University of Rome Tor Vergata |
| Fabrizio D'Amore | | Algorithms and data structures for partitioning and management of sets of hyperrectangles |
Associate Professor, University of Rome La Sapienza |
| Marco Cadoli | | Two methods for tractable reasoning in artificial intelligence: language restriction and theory approximation |
Full Professor, University of Rome La Sapienza. Passed away in 2006. |
